Hubert Comon (eds.): шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (17)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

Рік:

2007

Мова:

english

Файл:

PDF, 3.45 MB

0 / 0

english, 2007

2

Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings

Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Hubert Comon-Lundh (auth.), Igor Walukiewicz (eds.)

Рік:

2004

Мова:

english

Файл:

PDF, 4.98 MB

0 / 0

english, 2004

3

Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration

Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration

Springer-Verlag Berlin Heidelberg

Reynald Af feldt, Hubert Comon-Lundh (auth.), Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 2.36 MB

0 / 0

english, 2009

4

Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings

Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

William McCune (auth.), Hubert Comon (eds.)

Рік:

1997

Мова:

english

Файл:

DJVU, 3.17 MB

0 / 0

english, 1997

5

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

Рік:

2007

Мова:

english

Файл:

PDF, 2.95 MB

0 / 0

english, 2007

6

Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings

Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Hubert Comon, Ralf Treinen (auth.), Sophie Tison (eds.)

Рік:

1994

Мова:

english

Файл:

PDF, 5.37 MB

0 / 0

english, 1994

7

Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings

Trees in Algebra and Programming — CAAP'94: 19th International Colloquium Edinburgh, U.K., April 11–13, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Hubert Comon, Ralf Treinen (auth.), Sophie Tison (eds.)

Рік:

1994

Мова:

english

Файл:

DJVU, 2.81 MB

0 / 0

english, 1994

8

Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings

Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Hubert Comon-Lundh (auth.), Igor Walukiewicz (eds.)

Рік:

2004

Мова:

english

Файл:

PDF, 4.85 MB

0 / 0

english, 2004

9

Constraints in Computational Logics. Theory and Applications CCL ’99

Constraints in Computational Logics. Theory and Applications CCL ’99

Hubert Comon Claude Marché Ralf Treinen (eds.)

Рік:

2001

Мова:

english

Файл:

PDF, 2.00 MB

0 / 0

english, 2001

10

Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Lecture Notes in Computer Science 4600 Rewriting Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Springer-Verlag

Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner, Jean-Pierre Jouannaud, Hubert Comon-Lundh, Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

Рік:

2007

Мова:

English

Файл:

PDF, 138.71 MB

0 / 0

English, 2007

11

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

David Lorge Parnas (auth.), Gérard Berry, Hubert Comon, Alain Finkel (eds.)

Рік:

2001

Мова:

english

Файл:

PDF, 4.16 MB

0 / 0

english, 2001

12

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Springer-Verlag Berlin Heidelberg

Jean-Pierre Jouannaud, Ralf Treinen (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen (eds.)

Рік:

2001

Мова:

english

Файл:

PDF, 2.01 MB

0 / 0

english, 2001

13

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course

Springer-Verlag Berlin Heidelberg

Jean-Pierre Jouannaud (auth.), Hubert Comon, Jean-Pierre Jounnaud (eds.)

Рік:

1995

Мова:

english

Файл:

DJVU, 1.95 MB

0 / 0

english, 1995

14

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised Lectures

Springer-Verlag Berlin Heidelberg

Jean-Pierre Jouannaud, Ralf Treinen (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché, Ralf Treinen (eds.)

Рік:

2001

Мова:

english

Файл:

PDF, 2.63 MB

0 / 0

english, 2001

15

Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration

Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration

Springer-Verlag Berlin Heidelberg

Reynald Af feldt, Hubert Comon-Lundh (auth.), Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada (eds.)

Рік:

2009

Мова:

english

Файл:

PDF, 2.66 MB

0 / 0

english, 2009

16

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

David Lorge Parnas (auth.), Gérard Berry, Hubert Comon, Alain Finkel (eds.)

Рік:

2001

Мова:

english

Файл:

PDF, 6.93 MB

0 / 0

english, 2001

17

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course

Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course

Springer-Verlag Berlin Heidelberg

Jean-Pierre Jouannaud (auth.), Hubert Comon, Jean-Pierre Jounnaud (eds.)

Рік:

1995

Мова:

english

Файл:

PDF, 3.38 MB

0 / 0

english, 1995